O que é leis de morgan?

As leis de Morgan são um conjunto de regras de equivalência na álgebra booleana, que descrevem dois teoremas fundamentais nas operações booleanas. As leis de Morgan afirmam que a negação de uma conjunção é equivalente à disjunção das negações e que a negação de uma disjunção é equivalente à conjunção das negações.

Mais especificamente, as leis de Morgan são as seguintes:

1. ¬(A ∧ B) ≡ ¬A ∨ ¬B
2. ¬(A ∨ B) ≡ ¬A ∧ ¬B

Essas leis são amplamente utilizadas em circuitos lógicos, programação de computadores e em diversas áreas da matemática e da ciência da computação. Elas são extremamente úteis para simplificar expressões booleanas e facilitar o raciocínio lógico.